首页> 外文OA文献 >Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

【2h】

Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

机译：验证，模型检查和抽象解释-第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥，2014年1月19日至21日，会议记录

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Mcmillan, Kenneth; Rival, Xavier;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献

1. American Thoracic Society (ATS) 2014 international conference, San Diego, California, USA - May 16-21, 2014 [J] . WalkerK. Drugs of the Future . 2014,第7期

机译：2014年美国胸科学会（ATS）国际会议，美国加利福尼亚州圣地亚哥-2014年5月16日至21日
2. Targeting Recovery from Acute Kidney injury: Executive Summary from the Round Table Conference at the 19th International Conference on Continuous Renal Replacement Therapies (Manchester Grand Hyatt San Diego, Calif., USA, March 2-3,2014) [J] . Ravindra L. Mehta, John A. Kellum Nephron . 2014,第1a4期

机译：针对急性肾脏损伤的康复：第十九届持续性肾脏替代治疗国际会议圆桌会议摘要（美国加利福尼亚州圣地亚哥，曼彻斯特君悦酒店，2014年3月2日至3日）
3. Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation [J] . DSouza Deepak, Lal Akash Computer Languages, Systems & Structures . 2017,第pta1期

机译：第十六届国际验证，模型检验和抽象解释会议特刊
4. 2014 IEEE 8th International Power Engineering and Optimization Conference (PEOCO2014) Proceedings abstracts [C] . IEEE International Power Engineering and Optimization Conference . 2014

机译：2014年IEEE第八届国际电力工程与优化会议（PEOCO2014）会议摘要
5. Targeting recovery from Acute Kidney Injury: Executive Summary from the Round Table Conference at the 19th International Conference on Continuous Renal Replacement Therapies Manchester Grand Hyatt San Diego March 2-3 2014 [O] . Ravindra L Mehta, John Kellum -1

机译：针对急性肾脏损伤的康复：2014年3月2-3日圣地亚哥曼彻斯特君悦酒店第19届国际连续性肾脏替代疗法国际会议圆桌会议摘要
6. Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings [O] . Mcmillan, Kenneth, Rival, Xavier 2014

机译：验证，模型检查和抽象解释-第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥，2014年1月19日至21日，会议记录
7. High Power S-Band Window Optimized to Minimize Electric and Magnetic Field on the Surface. Conference: Contributed to 15th IEEE International Vacuum Electronics Conference (IVEC 2014), Monterey, CA, 4/22/2014-4/24/2014. [R] . Yeremian, A. D., Dolgashev, V. A., Tantawi, S. G. 2013

机译：优化高功率s波段窗口，最大限度地减少表面电场和磁场。会议：参加第15届IEEE国际真空电子会议（IVEC 2014），加利福尼亚州蒙特雷，4/22 / 2014-4 / 24/2014。

Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅